منابع مشابه
Equational Abstractions for Model Checking Erlang Programs
This paper provides a contribution to the formal verification of programs written in the concurrent functional programming language Erlang, which is designed for telecommunication applications. It presents a formal description of this language in Rewriting Logic, a unified semantic framework for concurrency which is semantically founded on conditional term rewriting modulo equational theories. ...
متن کاملSequential-Based Approach for Estimating the Stress-Strength Reliability Parameter for Exponential Distribution
In this paper, two-stage and purely sequential estimation procedures are considered to construct fixed-width confidence intervals for the reliability parameter under the stress-strength model when the stress and strength are independent exponential random variables with different scale parameters. The exact distribution of the stopping rule under the purely sequential procedure is approximated ...
متن کاملInference on reliability in two-parameter exponential stress–strength model
The problem of hypothesis testing and interval estimation of the reliability parameter in a stress–strength model involving two-parameter exponential distributions is considered. Test and interval estimation procedures based on the generalized variable approach are given. Statistical properties of the generalized variable approach and an asymptotic method are evaluated by Monte Carlo simulation...
متن کاملImproved approximations for the Erlang loss model
Stochastic loss networks are often a very effective model for studying the random dynamics of systems requiring simultaneous resource possession. Given a stochastic network and a multi-class customer workload, the classical Erlang model renders the stationary probability that a customer will be lost due to insufficient capacity for at least one required resource type. Recently a novel family of...
متن کاملOn Estimation of Stress Strength Model for Generalized Inverted Exponential Distribution
Abstract In this paper, the estimation of R=Pr(Y < Y), when X and Y are two generalized inverted exponential distributions with different parameters is considered. The maximum likelihood estimator (MLE) of R and its asymptotic distribution are obtained. Exact and asymptotic confidence intervals of R are constructed using both exact and asymptotic distributions. Assuming that the common scale pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Physics
سال: 2015
ISSN: 2391-5471
DOI: 10.1515/phys-2015-0057